/******************************************/
/* DTD Inquisitor 2                       */
/* Copyright: University of Pennsylvania  */
/* Author: Byron Choi                     */
/* Date: 9/2001                           */
/* Contact: kkchoi@gradient.cis.upenn.edu */
/******************************************/
package automata;

public class State {
	public Integer elt;

	public State(Integer i) {
		elt = i;
	}

	public State(int i) {
		elt = new Integer(i);
	}

	public String toString() {
		return elt.toString();
	}

	public int hashCode() {
		return elt.intValue();
	}

	public boolean equals(Object s) {
		return (this.elt.intValue() == ((State) s).elt.intValue());
	}
}
